@MastersThesis{Graça:2016:PrPrVe,
               author = "Gra{\c{c}}a, Danilo Gaspar",
                title = "Proposta de um processo de verifica{\c{c}}{\~a}o por testes 
                         baseado na compara{\c{c}}{\~a}o das normas ECSS-E-ST-40C e 
                         RTCA-DO-178C e sua aplica{\c{c}}{\~a}o a um software 
                         embarc{\'a}vel",
               school = "Instituto Nacional de Pesquisas Espaciais (INPE)",
                 year = "2016",
              address = "S{\~a}o Jos{\'e} dos Campos",
                month = "2016-05-17",
             keywords = "testes de software, verifica{\c{c}}{\~a}o, processos de 
                         desenvolvimento, desenvolvimento de software, sistemas 
                         aeroespaciais, software testing, verification, development 
                         process, software development, aerospace systems.",
             abstract = "Este trabalho apresenta uma proposta de um processo de 
                         verifica{\c{c}}{\~a}o por testes baseado na 
                         compara{\c{c}}{\~a}o das normas ECSS-E-ST-40C e RTCA-DO-178C e 
                         sua aplica{\c{c}}{\~a}o a um software espacial embarc{\'a}vel. 
                         Isto inclui: a revis{\~a}o bibliogr{\'a}fica sobre conceitos de 
                         Engenharia de Software e sobre as normas abordadas das 
                         ind{\'u}strias espacial e aeron{\'a}utica; a 
                         compara{\c{c}}{\~a}o e an{\'a}lise da estrutura de processos 
                         das referidas normas para desenvolvimento de software; o estudo de 
                         ferramentas semiautom{\'a}ticas de testes; a proposta de 
                         m{\'e}todos e procedimentos b{\'a}sicos de um processo de 
                         verifica{\c{c}}{\~a}o por testes baseado na 
                         compara{\c{c}}{\~a}o das normas ECSS-E-ST-40C e RTCA-DO-178C com 
                         suas principais atividades para ser aplicado no desenvolvimento de 
                         softwares espaciais embarcados; e a valida{\c{c}}{\~a}o do 
                         processo proposto atrav{\'e}s de sua aplica{\c{c}}{\~a}o a um 
                         estudo de caso. A aplica{\c{c}}{\~a}o do processo proposto 
                         mostrou que i) a invers{\~a}o da sequ{\^e}ncia tradicional de 
                         testes apresenta significativos ganhos em termos de 
                         esfor{\c{c}}o; ii) ela s{\'o} {\'e} poss{\'{\i}}vel com a 
                         utiliza{\c{c}}{\~a}o de uma ferramenta de testes que tem impacto 
                         direto no processo; iii) a maior contribui{\c{c}}{\~a}o da 
                         ferramenta {\'e} compartilhar os resultados da 
                         aplica{\c{c}}{\~a}o de testes em um n{\'{\i}}vel com os demais 
                         n{\'{\i}}veis (HW/SW, SW/SW e baixo n{\'{\i}}vel); iv) os 
                         m{\'e}todos e procedimentos utilizados reduzem significativamente 
                         o esfor{\c{c}}o aplicado na realiza{\c{c}}{\~a}o das atividades 
                         de teste. ABSTRACT: This work presents a proposal for verification 
                         process by testing based on the comparison of ECSS-E-ST-40C and 
                         RTCA-DO-178C standards and its application to embeddable software. 
                         This includes: a bibliographic review on software engineering 
                         concepts and the space and aeronautics industries standards used; 
                         a comparison and analysis of the structure of processes of the 
                         mentioned standards for software development; a study of 
                         semiautomatic tools for tests; a proposal of basic methods and 
                         procedures of a verification process by testing based on 
                         comparison of ECSS-E-ST-40C and RTCA-DO-178C standards with its 
                         main activities to be applied in the development of space 
                         embedded; the validation of the proposed process through its 
                         application to case study. The application of the proposed method 
                         showed i) reversing the traditional test sequence shows 
                         significant gains in terms of effort; ii) it is possible only with 
                         the use of a test tool has a direct impact on process; iii) the 
                         greatest tool contribution is to share the results of the 
                         application tests in one level with other levels (HW/SW, SW/SW and 
                         Low-Level); iv) the methods and procedures used significantly 
                         reduce the effort applied in carrying out the testing 
                         activities.",
            committee = "Ambrosio, Ana Maria (presidente) and Souza, Marcelo Lopes de 
                         Oliveira e (orientador) and Trivelato, Gilberto da Cunha 
                         (orientador) and Rocha, Guilherme Concei{\c{c}}{\~a}o",
           copyholder = "SID/SCD",
         englishtitle = "Proposal for verification process by testing based on comparison 
                         of the ECSS-E-ST-40C and RTCA-DO-178C standards and its 
                         application to embeddable software.",
             language = "pt",
                pages = "179",
                  ibi = "8JMKD3MGP3W34P/3LM86BB",
                  url = "http://urlib.net/ibi/8JMKD3MGP3W34P/3LM86BB",
           targetfile = "publicacao.pdf",
        urlaccessdate = "27 abr. 2024"
}